A2T++: the Automatic Abstraction Tool

نویسندگان

  • Nicola Bombieri
  • Franco Fummi
  • Graziano Pravadelli
چکیده

IP-reuse allows designers to exploit already implemented and verified RTL IP cores while concentrating the main effort on their integration into the system, on other specific components implementation and on the SW development. In this context, this work presents A2T++, a tool for abstracting existent RTL IP cores aiming at two different targets: (i) automatic generation of SystemC TLM models, and (ii) automatic generation of embedded software for multiprocessor architectures. A2T++ is built on top of the HIFSuite, which allows designers to manipulate and integrate heterogeneous components implemented by using different HDLs, that are SystemC, VHDL, and Verilog.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Annexin A2 is a soluble mediator of macrophage activation.

On the surface of the macrophage, annexin A2 tetramer (A2t) serves as a docking protein or recognition element for bacterial and viral pathogens. Plasma levels of free A2t have been reported to increase following infection, although the mechanistic significance of this observation is unclear. Although annexin A2 had generally been thought to play an anti-inflammatory role, soluble A2t stimulate...

متن کامل

Automatic Workflow Generation and Modification by Enterprise Ontologies and Documents

This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...

متن کامل

Automatic Workflow Generation and Modification by Enterprise Ontologies and Documents

This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...

متن کامل

Automatic Abstraction Refinement for Timed Automata

We present a fully automatic approach for counterexample guided abstraction refinement of real-time systems modelled in a subset of timed automata. Our approach is implemented in the MOBY/RT tool environment, which is a CASE tool for embedded system specifications. Verification in MOBY/RT is done by constructing abstractions of the semantics in terms of timed automata which are fed into the mod...

متن کامل

Alzheimer’s amyloid-β A2T variant and its N-terminal peptides inhibit amyloid-β fibrillization and rescue the induced cytotoxicity

Alzheimer's disease (AD) is the most common dementia affecting tens of million people worldwide. The primary neuropathological hallmark in AD is amyloid plaques composed of amyloid-β peptide (Aβ). Several familial mutations found in Aβ sequence result in early onset of AD. Previous studies showed that the mutations located at N-terminus of Aβ, such as the English (H6R) and Tottori (D7N) mutatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009